Search Results
Lamport TLA+ Course Lecture 9: The Alternating Bit Protocol Part 1: The High Level Spec (HD)
Lamport TLA+ Course Lecture 9: The Alternating Bit Protocol Part 2: The Protocol (HD)
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
Lamport TLA+ Course Lecture 10: Implementation with Refinement Part 1: Preliminaries (HD)
Lamport TLA+ Course Lecture 7: Paxos Commit (HD)
Lamport TLA+ Course Lecture 8: Paxos Commit Part 1: Preliminaries (HD)
Lamport TLA+ Course Lecture 8: Paxos Commit Part 2: How it Works (HD)
TLA+ in Engineering Systems – Quinceañera - David Langworthy
Interactive TLA+ - Jesse Davis and Samyukta Lanka
Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD)
AMA TLA+ - Leslie Lamport
TLA+: Viewed from 40,000 Feet and Ground Level
